This paper proves that certain nonlocal, nonconvex functionals provide good approximations of Sobolev norms. The authors show these functionals Gamma-converge to a multiple of the Sobolev norm, answering open problems on their limiting behavior. Through analysis of a discretized version, they obtain sharp estimates.